determine subsumption

См. также в других словарях:

• Philosophical Explanations — is a wide ranging metaphysical, epistemological, and ethical treatise written by Robert Nozick and published in 1981. The Parthenon Model and non coercive philosophy Nozick makes a case for a Parthenon model of philosophical ambition rather than… …   Wikipedia

• Ontology components — Contemporary ontologies share many structural similarities, regardless of the language in which they are expressed. Most ontologies describe individuals (instances), classes (concepts), attributes, and relations. Contents 1 Overview 2 Individuals …   Wikipedia

• Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( …   Wikipedia

• Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on …   Wikipedia

• CAUSALITÉ (sciences sociales) — L’histoire des rapports entre les sciences sociales et la notion de cause est dominée par deux faits. Le premier est une conséquence du lien qui, notamment à leurs débuts, a uni les sciences sociales à la philosophie. Celle ci comporte en effet… …   Encyclopédie Universelle

• Automatic summarization — is the creation of a shortened version of a text by a computer program. The product of this procedure still contains the most important points of the original text. The phenomenon of information overload has meant that access to coherent and… …   Wikipedia

• Paris arts faculty (The): Siger of Brabant, Boethius of Dacia, Radulphus Brito — The Paris arts faculty: Siger of Brabant, Boethius of Dacia, Radulphus Brito Sten Ebbesen Throughout the thirteenth century Paris overshadowed all other universities in the arts as in theology. This chapter will deal almost exclusively with Paris …   History of philosophy

• Academic degree — An academic degree is a position and title within a college or university that is usually awarded in recognition of the recipient having either satisfactorily completed a prescribed course of study or having conducted a scholarly endeavour deemed …   Wikipedia

• Register allocation — In compiler optimization, register allocation is the process of multiplexing a large number of target program variables onto a small number of CPU registers. The goal is to keep as many operands as possible in registers to maximise the execution… …   Wikipedia

• Schema matching — The terms schema matching and mapping are often used interchangeably. For this article, we differentiate the two as follows: Schema matching is the process of identifying that two objects are semantically related (scope of this article) while… …   Wikipedia

• Charles Sanders Peirce —  B …   Wikipedia